|
KMID : 0371820000320060537
|
|
Nuclear Engineering and Technology
2000 Volume.32 No. 6 p.537 ~ p.548
|
|
|
A Comparative Study of Formal Methods for Safety Critical Software in Nuclear Power Plant
|
|
Sohn Sedo
Seong PoongHyun
|
|
|
Abstract
|
|
|
|
|
|
|
KEYWORD
|
|
|
formal method, safety critical software, CPCS, software specification
|
|
|
FullTexts / Linksout information
|
|
|
|
|
|
Listed journal information
|
|
|
|